Categorical Logic with Partial Elements
نویسنده
چکیده
منابع مشابه
Quantum Logic in Dagger Categories with Kernels
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categori...
متن کاملPartial Redundant Modeling
In the context of previous work on redundant modeling, permutation problems and matrix modeling, we introduce the notion of partial redundant modeling and categorical channeling constraints. To do so, we look at problems with categorical structure. Categorical channeling constraints also introduce the more general notion of channeling constraints over global constraints in redundant models. Thi...
متن کاملQuantum Logic in Dagger Kernel Categories
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categori...
متن کاملOn Models of Higher-Order Separation Logic
We show how tools from categorical logic can be used to give a general account of models of higher-order separation logic with a sublogic of so-called persistent predicates satisfying the usual rules of higher-order logic. The models of separation logic are based on a notion of resource, a partial commutative monoid, and the persistent predicates can be defined using a modality. We classify wel...
متن کاملCategorical Models of Constructive Logic
The issues raised in (1) are typically dealt with by proof theory whereas those raised in (2) are best treated via the methods of Categorical Logic and that’s what these lectures are about: in other words the model theory of constructive logic. However, its flavour will be very different from classical model theory. The essential difference is that for the purposes of constructive logic we can ...
متن کامل